Modal stack: fix handling of destroyed actors

Destroyed modal actors should be completely removed from the modal
stack automatically, including leaving modality if needed.
This allows for destroying modal dialogs without calling close().

https://bugzilla.gnome.org/show_bug.cgi?id=619955

diff --git a/js/ui/main.js b/js/ui/main.js
index 501af0441530a0b975354a9a422813b93a31374b..0b12d757797fbd5a2cc3a26fb45c7a5940265c06 100644 (file)
--- a/js/ui/main.js
+++ b/js/ui/main.js
@@ -683,7 +683,7 @@ function pushModal(actor, timestamp, options) {
     let actorDestroyId = actor.connect('destroy', function() {
         let index = _findModal(actor);
         if (index >= 0)
-            modalActorFocusStack.splice(index, 1);
+            popModal(actor);
     });
     let curFocus = global.stage.get_key_focus();
     let curFocusDestroyId;